introduction to greedy algorithms